<html>
<head><meta charset="utf-8"><title>meeting 2021-07-23 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html">meeting 2021-07-23</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="247004123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004123">(Jul 23 2021 at 17:01)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1172">@WG-async-foundations</span> meeting!</p>



<a name="247004305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004305">(Jul 23 2021 at 17:02)</a>:</h4>
<p>Agenda</p>
<ul>
<li>Announcements / open forum</li>
<li>Triage</li>
<li>Ongoing work updates</li>
</ul>



<a name="247004333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004333">(Jul 23 2021 at 17:03)</a>:</h4>
<p>Are there any announcements?</p>



<a name="247004377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004377">(Jul 23 2021 at 17:03)</a>:</h4>
<p>None from me.</p>



<a name="247004586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004586">(Jul 23 2021 at 17:04)</a>:</h4>
<p>Niko and I have been talking about <a href="https://github.com/rust-lang/wg-async-foundations/issues/222">wg-async-foundations#222</a> aka "Harmonic Synthesis alpha", I think we should merge it soon</p>



<a name="247004666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004666">(Jul 23 2021 at 17:05)</a>:</h4>
<p>Which isn't to say it's done or perfect, hence alpha, but represents a good starting point</p>



<a name="247004703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004703">(Jul 23 2021 at 17:05)</a>:</h4>
<p>See e.g. discussions on <a href="https://nikomatsakis.github.io/wg-async-foundations/vision/deliverables.html">deliverables</a> that might be of interest</p>



<a name="247004788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004788">(Jul 23 2021 at 17:06)</a>:</h4>
<p>(Niko is out today, btw)</p>



<a name="247004824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004824">(Jul 23 2021 at 17:06)</a>:</h4>
<p>One thing we discussed is adding narratives from the shiny future to contrast with the status quo, like we originally planned</p>



<a name="247004894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004894">(Jul 23 2021 at 17:07)</a>:</h4>
<p>I think this would be worth doing, since it represents a different "perspective" on the future from the "user guide from the future," for instance</p>



<a name="247004952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004952">(Jul 23 2021 at 17:07)</a>:</h4>
<p>Anyway, looks like we can move on</p>



<a name="247004962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004962">(Jul 23 2021 at 17:07)</a>:</h4>
<p><span class="user-mention" data-user-id="261224">@triagebot</span> end-topic</p>



<a name="247004964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247004964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247004964">(Jul 23 2021 at 17:07)</a>:</h4>
<p>Does anyone have something to add on the current topic?<br>
React with <span aria-label="working on it" class="emoji emoji-1f6e0" role="img" title="working on it">:working_on_it:</span> if you have something to say.<br>
React with <span aria-label="all good" class="emoji emoji-2705" role="img" title="all good">:all_good:</span> if not.</p>



<a name="247005014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005014">(Jul 23 2021 at 17:08)</a>:</h4>
<p>I think adding the shiny futures stories seems like a good idea</p>



<a name="247005087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005087">(Jul 23 2021 at 17:08)</a>:</h4>
<p>Niko had offered to outline some as a starting point at least</p>



<a name="247005124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005124">(Jul 23 2021 at 17:09)</a>:</h4>
<p>Okay, looking like it's just you and me :)</p>



<a name="247005130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005130">(Jul 23 2021 at 17:09)</a>:</h4>
<p>Seems like it :)</p>



<a name="247005139"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005139" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005139">(Jul 23 2021 at 17:09)</a>:</h4>
<p>That reminds me, we also discussed picking a different time that's more Europe-friendly</p>



<a name="247005162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005162">(Jul 23 2021 at 17:09)</a>:</h4>
<p>Yeah, there was some discussion about that a week or two ago</p>



<a name="247005279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005279">(Jul 23 2021 at 17:10)</a>:</h4>
<p>I think we will do this, but we didn't get to it before Niko went on vacation so it might potentially take a couple of weeks <span aria-label="sad" class="emoji emoji-2639" role="img" title="sad">:sad:</span></p>



<a name="247005344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005344">(Jul 23 2021 at 17:10)</a>:</h4>
<p>anyway</p>



<a name="247005349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005349">(Jul 23 2021 at 17:10)</a>:</h4>
<p>Sounds good to me. I'm happy to meet earlier if it means Europe can come.</p>



<a name="247005382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005382">(Jul 23 2021 at 17:11)</a>:</h4>
<h1><a href="https://github.com/search?q=org%3Arust-lang+is%3Aissue+label%3AA-async-await+is%3Aopen+-label%3AAsyncAwait-Triaged&amp;type=Issues">New issues</a></h1>



<a name="247005410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005410">(Jul 23 2021 at 17:11)</a>:</h4>
<h2>Moved value is considered as held across an await in async fn <a href="https://github.com/rust-lang/rust/issues/87309">#87309</a></h2>



<a name="247005469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005469">(Jul 23 2021 at 17:11)</a>:</h4>
<p>This sounds like the sort of thing you're working on, <span class="user-mention" data-user-id="421986">@eholk</span></p>



<a name="247005486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005486">(Jul 23 2021 at 17:11)</a>:</h4>
<p>I was just going to say the same thing :)</p>



<a name="247005515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005515">(Jul 23 2021 at 17:12)</a>:</h4>
<p>From the title, it sounds like another instance of <a href="https://github.com/rust-lang/rust/issues/69663">https://github.com/rust-lang/rust/issues/69663</a></p>



<a name="247005622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005622">(Jul 23 2021 at 17:12)</a>:</h4>
<p>that's what I was looking for</p>



<a name="247005687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005687">(Jul 23 2021 at 17:13)</a>:</h4>
<p>The test case looks really similar to the one in 57017, with an <code>await</code> inside a <code>match</code>.</p>



<a name="247005723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005723">(Jul 23 2021 at 17:13)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/57017">https://github.com/rust-lang/rust/issues/57017</a></p>



<a name="247005820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005820">(Jul 23 2021 at 17:14)</a>:</h4>
<p>pro tip: You can prefix a number with # in this zulip and it will link to the rust-lang/rust issue :)</p>



<a name="247005832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005832">(Jul 23 2021 at 17:14)</a>:</h4>
<p>oh, nice!</p>



<a name="247005899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005899">(Jul 23 2021 at 17:14)</a>:</h4>
<p>it does look similar, I'll comment on the issue</p>



<a name="247005900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005900">(Jul 23 2021 at 17:14)</a>:</h4>
<p>I just thought everyone was really fast with their markdown link syntax. Does it work for other github links too?</p>



<a name="247005944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005944">(Jul 23 2021 at 17:15)</a>:</h4>
<p>you can do <a href="https://github.com/rust-lang/wg-async-foundations/issues/123">wg-async-foundations#123</a></p>



<a name="247005978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005978">(Jul 23 2021 at 17:15)</a>:</h4>
<p>ah, cool</p>



<a name="247005988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247005988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247005988">(Jul 23 2021 at 17:15)</a>:</h4>
<p>and it also works with pull requests</p>



<a name="247006073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006073">(Jul 23 2021 at 17:16)</a>:</h4>
<p>nice!</p>



<a name="247006200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006200">(Jul 23 2021 at 17:17)</a>:</h4>
<h2>Confusing error: Immutable reference to future is not a future <a href="https://github.com/rust-lang/rust/issues/87211">#87211</a></h2>



<a name="247006247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006247">(Jul 23 2021 at 17:17)</a>:</h4>
<p>whoops</p>



<a name="247006267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006267">(Jul 23 2021 at 17:17)</a>:</h4>
<p>I commented on this issue instead of the other one</p>



<a name="247006599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006599">(Jul 23 2021 at 17:20)</a>:</h4>
<p>Is awaiting something you can do on an immutable reference? It seems like making progress on a future is likely to need mutation, but maybe not?</p>



<a name="247006648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006648">(Jul 23 2021 at 17:20)</a>:</h4>
<p>yes, it does need mutation</p>



<a name="247006686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006686">(Jul 23 2021 at 17:21)</a>:</h4>
<p>this looks like it would be a pretty easy issue to fix</p>



<a name="247006687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006687">(Jul 23 2021 at 17:21)</a>:</h4>
<p>Oh, I guess that's the bug, that the error message is unclear even if the behavior is correct.</p>



<a name="247006711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006711">(Jul 23 2021 at 17:21)</a>:</h4>
<p>right</p>



<a name="247006898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006898">(Jul 23 2021 at 17:22)</a>:</h4>
<p>so, if anyone is interested in looking at this I can help point you in the right direction</p>



<a name="247006995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247006995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247006995">(Jul 23 2021 at 17:23)</a>:</h4>
<p>in fact I'm going to write up very brief mentoring instructions</p>



<a name="247007382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007382">(Jul 23 2021 at 17:27)</a>:</h4>
<p>done</p>



<a name="247007399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007399">(Jul 23 2021 at 17:27)</a>:</h4>
<p>thanks!</p>



<a name="247007420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007420">(Jul 23 2021 at 17:27)</a>:</h4>
<p>sorry for doing that in the middle fo the meeting but I knew I wasn't going to get to it after :)</p>



<a name="247007429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007429">(Jul 23 2021 at 17:27)</a>:</h4>
<p>No worries</p>



<a name="247007508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007508">(Jul 23 2021 at 17:28)</a>:</h4>
<p>Okay, that's the last issue to triage</p>



<a name="247007551"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007551" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007551">(Jul 23 2021 at 17:28)</a>:</h4>
<p>only other thing on the agenda is</p>
<h1>ongoing work updates</h1>



<a name="247007645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007645">(Jul 23 2021 at 17:29)</a>:</h4>
<p><span class="user-mention" data-user-id="421986">@eholk</span> want to talk about the <a href="https://github.com/rust-lang/rust/issues/69663">#69663</a> at all?</p>



<a name="247007651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007651">(Jul 23 2021 at 17:29)</a>:</h4>
<p>Sure!</p>



<a name="247007741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007741">(Jul 23 2021 at 17:30)</a>:</h4>
<p>I've been looking at it. Niko and I met some and he showed me around <code>generator_interior.rs</code>, <code>regions.rs</code>, etc., and some of the past discussion around the issue.</p>



<a name="247007770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007770">(Jul 23 2021 at 17:30)</a>:</h4>
<p>I'm mostly still trying to grok the code, so not a ton of progress to report yet.</p>



<a name="247007812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007812">(Jul 23 2021 at 17:30)</a>:</h4>
<p>cool, and no worries</p>



<a name="247007851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007851">(Jul 23 2021 at 17:31)</a>:</h4>
<p>is there a doc with the approach you discussed anywhere?</p>



<a name="247007891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007891">(Jul 23 2021 at 17:31)</a>:</h4>
<p>I looked at <code>ExprUseVisitor</code>, and it seems like it's sort of the right direction since it tracks <code>consume</code> and <code>borrow</code> events, but I'm not sure it's exactly the right fit.</p>



<a name="247007922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007922">(Jul 23 2021 at 17:31)</a>:</h4>
<p>Let me see if I can find some docs</p>



<a name="247007952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007952">(Jul 23 2021 at 17:31)</a>:</h4>
<p><em>nods</em></p>



<a name="247007998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247007998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247007998">(Jul 23 2021 at 17:32)</a>:</h4>
<p>These are the notes from earlier that he shared with me: <a href="https://hackmd.io/Qr4rGglfSMGEDItP5YWgtA">https://hackmd.io/Qr4rGglfSMGEDItP5YWgtA</a></p>



<a name="247008052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008052">(Jul 23 2021 at 17:32)</a>:</h4>
<p>And notes from out discussion: <a href="https://hackmd.io/VNyp5bUuT2KiI1WWd5P23g">https://hackmd.io/VNyp5bUuT2KiI1WWd5P23g</a></p>



<a name="247008087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008087">(Jul 23 2021 at 17:32)</a>:</h4>
<p>it would be great if we could just have the MIR for analysis but that's.. kinda hard :)</p>



<a name="247008131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008131">(Jul 23 2021 at 17:33)</a>:</h4>
<p>Yeah, I'm looking at whether we can make the HIR approximation more precise instead.</p>



<a name="247008302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008302">(Jul 23 2021 at 17:34)</a>:</h4>
<p>Although that does make me a little nervous that we'll end up with subtly different behavior between the HIR approximation and the actual check in MIR.</p>



<a name="247008318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008318">(Jul 23 2021 at 17:34)</a>:</h4>
<p>I think that's definitely the reasonable approach and can probably get quite far</p>



<a name="247008395"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008395" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008395">(Jul 23 2021 at 17:35)</a>:</h4>
<p>we may (well, that's already the case), but there are redundant checks to prevent something like that from causing unsoundness</p>



<a name="247008454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008454">(Jul 23 2021 at 17:35)</a>:</h4>
<p>the HIR is not allowed to be <em>more</em> precise than the MIR</p>



<a name="247008457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008457">(Jul 23 2021 at 17:35)</a>:</h4>
<p>I think my rough plan is to filter the <code>live_across_yield</code> values in <code>generator_interior.rs</code> to remove values that were dropped earlier.</p>



<a name="247008497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008497">(Jul 23 2021 at 17:35)</a>:</h4>
<p>Although I'm still working out exactly <em>how</em> to make that happen :)</p>



<a name="247008646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008646">(Jul 23 2021 at 17:36)</a>:</h4>
<p>I'm also not sure yet how multiple yields in the same scope are handled.</p>



<a name="247008744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008744">(Jul 23 2021 at 17:37)</a>:</h4>
<p>yeah, I remember looking into this at one point but never got very far</p>



<a name="247008957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247008957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247008957">(Jul 23 2021 at 17:39)</a>:</h4>
<p>Anyway, I think that's all I've got for <a href="https://github.com/rust-lang/rust/issues/69663">#69663</a></p>



<a name="247009159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009159">(Jul 23 2021 at 17:40)</a>:</h4>
<p>I was just thinking it would be cool if we could sort of "incrementally" build MIR, e.g. starting with just a CFG representation of the HIR, partial type info, no drops / landing pads, and then building up to the full representation</p>



<a name="247009199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009199">(Jul 23 2021 at 17:40)</a>:</h4>
<p>but it probably wouldn't work</p>



<a name="247009222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009222">(Jul 23 2021 at 17:40)</a>:</h4>
<p>It might...</p>



<a name="247009241"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009241" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009241">(Jul 23 2021 at 17:41)</a>:</h4>
<p>It sounds kind of like a nanopass style compiler, which I'm a fan of</p>



<a name="247009286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009286">(Jul 23 2021 at 17:41)</a>:</h4>
<p>well, it might be worth looking into at some point :)</p>



<a name="247009315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009315">(Jul 23 2021 at 17:41)</a>:</h4>
<p>Agreed</p>



<a name="247009322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009322">(Jul 23 2021 at 17:42)</a>:</h4>
<p>it would likely be a huge architecture change, so it'd have to be very well motivated</p>



<a name="247009420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009420">(Jul 23 2021 at 17:42)</a>:</h4>
<p>I suspect we'll end up with a lot of the same benefits by having HIR, THIR, and MIR</p>



<a name="247009434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009434">(Jul 23 2021 at 17:42)</a>:</h4>
<p>but the main motivation is to reuse the MIR/CFG building logic rather than approximating it in HIR passes</p>



<a name="247009457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009457">(Jul 23 2021 at 17:43)</a>:</h4>
<p>But having three intermediate representations suggests we'll need more in the future...</p>



<a name="247009647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009647">(Jul 23 2021 at 17:44)</a>:</h4>
<p>the concept of MLIR is sort of inspiring me here. from what I hear it's kind of like an "extensible IR" where you can add different stages of representation and progressively lower one to the other</p>



<a name="247009730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009730">(Jul 23 2021 at 17:45)</a>:</h4>
<p>I want to add a topic.  Planning for  GloRuWriClu applied to The Async Book is under way.  <span class="user-mention" data-user-id="218683">@Alice Ryhl</span>  has accepted the role as one of the experts.  Next week Niko will be connecting with an org called writethedocs to recruit a technical editor and I'm meeting with the guys at Duckly to arrange access to their platform for pair programming.</p>
<p>We are still definition stage, but it is moving.  :)</p>



<a name="247009803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009803">(Jul 23 2021 at 17:46)</a>:</h4>
<p>That's awesome!</p>



<a name="247009877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009877">(Jul 23 2021 at 17:46)</a>:</h4>
<p>I'm so excited for this</p>



<a name="247009947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009947">(Jul 23 2021 at 17:47)</a>:</h4>
<p>okay, I think we can wrap up now</p>



<a name="247009955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009955">(Jul 23 2021 at 17:47)</a>:</h4>
<p><span class="user-mention" data-user-id="261224">@triagebot</span> end-meeting</p>



<a name="247009956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009956">(Jul 23 2021 at 17:47)</a>:</h4>
<p>Does anyone have something to bring up?<br>
React with <span aria-label="working on it" class="emoji emoji-1f6e0" role="img" title="working on it">:working_on_it:</span> if you have something to say.<br>
React with <span aria-label="all good" class="emoji emoji-2705" role="img" title="all good">:all_good:</span> if you're ready to end the meeting.</p>



<a name="247009963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eholk <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009963">(Jul 23 2021 at 17:47)</a>:</h4>
<p><span class="user-mention" data-user-id="394977">@Doc Jones</span> - that's awesome!</p>



<a name="247009999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247009999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247009999">(Jul 23 2021 at 17:47)</a>:</h4>
<p>Me too.  I plan to be a mentee.  We still have a couple of other roles to fill.  Thanks for the title, Tyler. :)</p>



<a name="247010039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010039">(Jul 23 2021 at 17:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116883">tmandry</span> <a href="#narrow/stream/187312-wg-async-foundations/topic/meeting.202021-07-23/near/247009877">said</a>:</p>
<blockquote>
<p>I'm so excited for this</p>
</blockquote>
<p>I've long had dreams of doing major changes to the async book</p>



<a name="247010135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010135">(Jul 23 2021 at 17:48)</a>:</h4>
<p>title? :)</p>



<a name="247010187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010187">(Jul 23 2021 at 17:49)</a>:</h4>
<p>Yes. You came up with the GloRuWriClu</p>



<a name="247010232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010232">(Jul 23 2021 at 17:49)</a>:</h4>
<p>oh, maybe I did</p>



<a name="247010351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010351">(Jul 23 2021 at 17:50)</a>:</h4>
<p>it was more of a collaboration :p</p>



<a name="247010384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010384">(Jul 23 2021 at 17:50)</a>:</h4>
<p>Yes, true.</p>



<a name="247010435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010435">(Jul 23 2021 at 17:50)</a>:</h4>
<p>anyway, this is all exciting stuff :)</p>



<a name="247010448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alice Ryhl <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010448">(Jul 23 2021 at 17:50)</a>:</h4>
<p>I look forward to stuff happening on the book!</p>



<a name="247010564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010564">(Jul 23 2021 at 17:51)</a>:</h4>
<p>and as for the meeting itself, thanks all, until next time <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="247010566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010566">(Jul 23 2021 at 17:51)</a>:</h4>
<p>Oh hi!   <span class="user-mention" data-user-id="218683">@Alice Ryhl</span></p>



<a name="247010823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247010823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247010823">(Jul 23 2021 at 17:53)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span>  Should we report on the progress of the project in this meeting?</p>



<a name="247011186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247011186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Doc Jones <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247011186">(Jul 23 2021 at 17:56)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span>   ??</p>



<a name="247041665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202021-07-23/near/247041665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202021-07-23.html#247041665">(Jul 23 2021 at 22:53)</a>:</h4>
<p><span class="user-mention" data-user-id="394977">@Doc Jones</span> I would love to hear progress updates in the meeting, if you can make it</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>